Marte Gerhardsen gir seg som utdanningsdirektør: – Det har vært et stort privilegium å få lede Osloskolen